Lessons from the JML Project Gary T. Leavens1 and Curtis Clifton1?? Department of Computer Science, Iowa State University, 226 Atanasoff Hall, Ames, IAUSA Abstract. To have impact, a grand challenge should provid

Source URL: vstte.ethz.ch

A Scalable Nonuniform Pointer Analysis for Embedded Programs? Arnaud Venet NASA Ames Research Center / Kestrel Technology Moffett Field, CA 94035, USA

Source URL: ti.arc.nasa.gov

Force Majeure – Is “Swine Flu” and/or Mandatory COOL An Excuse For Non-Performance Under a Hog Production Contract? 2321 N. Loop Drive, Ste 200  Ames, Iowa 50010

Source URL: www.calt.iastate.edu

header for SPIE use Design and performance of a digital video quality metric Andrew B. Watson, James Hu, John F McGowan III, Jeffrey B. Mulligan NASA Ames Research Center, Moffett Field, CAABSTRACT

Source URL: vision.arc.nasa.gov

A stabilization result with application to bipedal locomotion A.R. Teel, R. Goebel, B. Morris, A.D. Ames, J.W. Grizzle Abstract— For general hybrid systems, we develop new stabilization results that can be used to achi

Source URL: www.bipedalrobotics.com

Compass Gait Revisited: A Human Data Perspective with Extensions to Three Dimensions Ryan W. Sinnet, Matthew J. Powell, Shu Jiang and Aaron D. Ames Abstract— To better understand human walking, three bipedal robotic mo

Source URL: www.bipedalrobotics.com

Persistent Homology for Automatic Determination of Human-Data Based Cost of Bipedal Walking Ram Vasudevana , Aaron Amesb , Ruzena Bajcsya a Electrical Engineering and Computer Sciences

Source URL: ames.tamu.edu

• Molecular dynamics
• Dynamical systems
• Lagrangian mechanics
• Holonomic
• Kinematics
• Action
• Walking
• Lagrangian
• Rotation matrix
• Physics
• Mathematics
• Classical mechanics

Dynamically Stable Bipedal Robotic Walking with NAO via Human-Inspired Hybrid Zero Dynamics Aaron D. Ames Eric A. Cousineau

Source URL: ames.tamu.edu

• Humanoid robot
• Trigonometric functions
• Mathematics
• Physics
• Estimation theory
• Geometry
• Coordinate systems
• Classical mechanics
• Kinematics
• Symbol

Planar Multi-Contact Bipedal Walking Using Hybrid Zero Dynamics Jordan Lack, Matthew J. Powell, and Aaron D. Ames Abstract— This paper presents a method for achieving planar multi-phase, multi-contact robotic walking u

Source URL: www.bipedalrobotics.com

• Robotics
• Humanoid robot
• Forcing
• Motion planning
• Mathematical optimization
• Walking
• Mathematics
• Applied mathematics
• Robot control
• Robot kinematics
• Robot locomotion

Embedding of SLIP Dynamics on Underactuated Bipedal Robots through Multi-Objective Quadratic Program based Control Ayonga Hereid, Matthew J. Powell, and Aaron D. Ames Abstract— This paper presents a method for achievin

Source URL: www.bipedalrobotics.com